#ifndef BOARD_PPM_H
#define BOARD_PPM_H 1

#include "stm32f10x.h"

#define MAX_PPM_CHANNEL  10
#define SysClkMHz        (SystemCoreClock/1000000)
#define SYNCHRO_TIME     10000 // in microSec
#define PPM_SYNCHRO_TIME (SYNCHRO_TIME*SysClkMHz)

void TIM4_IRQHandler(void);
uint32_t get_ppm_channel_value(uint32_t ch_number);

#endif